Nuprl Definition : ecl-halt-type
11,40
postcript
pdf
ecl-halt-type(
da
;
x
) == case ecl-halt-kind(
x
) of inl(
k
) => Valtype(
da
;
k
) | inr(
z
) => Top
latex
Definitions
case
b
of inl(
x
) =>
s
(
x
) | inr(
y
) =>
t
(
y
)
,
ecl-halt-kind(
x
)
,
Valtype(
da
;
k
)
,
Top
FDL editor aliases
ecl-halt-type
origin